3.1133 \(\int \frac{(e x)^{9/2} \left (c+d x^2\right )}{\left (a+b x^2\right )^{9/4}} \, dx\)

Optimal. Leaf size=192 \[ \frac{7 \sqrt{a} e^4 \sqrt{e x} \sqrt [4]{\frac{a}{b x^2}+1} (6 b c-11 a d) E\left (\left .\frac{1}{2} \cot ^{-1}\left (\frac{\sqrt{b} x}{\sqrt{a}}\right )\right |2\right )}{10 b^{7/2} \sqrt [4]{a+b x^2}}+\frac{7 e^3 (e x)^{3/2} (6 b c-11 a d)}{30 b^3 \sqrt [4]{a+b x^2}}-\frac{e (e x)^{7/2} (6 b c-11 a d)}{15 a b^2 \sqrt [4]{a+b x^2}}+\frac{2 (e x)^{11/2} (b c-a d)}{5 a b e \left (a+b x^2\right )^{5/4}} \]

[Out]

(2*(b*c - a*d)*(e*x)^(11/2))/(5*a*b*e*(a + b*x^2)^(5/4)) + (7*(6*b*c - 11*a*d)*e
^3*(e*x)^(3/2))/(30*b^3*(a + b*x^2)^(1/4)) - ((6*b*c - 11*a*d)*e*(e*x)^(7/2))/(1
5*a*b^2*(a + b*x^2)^(1/4)) + (7*Sqrt[a]*(6*b*c - 11*a*d)*e^4*(1 + a/(b*x^2))^(1/
4)*Sqrt[e*x]*EllipticE[ArcCot[(Sqrt[b]*x)/Sqrt[a]]/2, 2])/(10*b^(7/2)*(a + b*x^2
)^(1/4))

_______________________________________________________________________________________

Rubi [A]  time = 0.322031, antiderivative size = 192, normalized size of antiderivative = 1., number of steps used = 6, number of rules used = 5, integrand size = 26, \(\frac{\text{number of rules}}{\text{integrand size}}\) = 0.192 \[ \frac{7 \sqrt{a} e^4 \sqrt{e x} \sqrt [4]{\frac{a}{b x^2}+1} (6 b c-11 a d) E\left (\left .\frac{1}{2} \cot ^{-1}\left (\frac{\sqrt{b} x}{\sqrt{a}}\right )\right |2\right )}{10 b^{7/2} \sqrt [4]{a+b x^2}}+\frac{7 e^3 (e x)^{3/2} (6 b c-11 a d)}{30 b^3 \sqrt [4]{a+b x^2}}-\frac{e (e x)^{7/2} (6 b c-11 a d)}{15 a b^2 \sqrt [4]{a+b x^2}}+\frac{2 (e x)^{11/2} (b c-a d)}{5 a b e \left (a+b x^2\right )^{5/4}} \]

Antiderivative was successfully verified.

[In]  Int[((e*x)^(9/2)*(c + d*x^2))/(a + b*x^2)^(9/4),x]

[Out]

(2*(b*c - a*d)*(e*x)^(11/2))/(5*a*b*e*(a + b*x^2)^(5/4)) + (7*(6*b*c - 11*a*d)*e
^3*(e*x)^(3/2))/(30*b^3*(a + b*x^2)^(1/4)) - ((6*b*c - 11*a*d)*e*(e*x)^(7/2))/(1
5*a*b^2*(a + b*x^2)^(1/4)) + (7*Sqrt[a]*(6*b*c - 11*a*d)*e^4*(1 + a/(b*x^2))^(1/
4)*Sqrt[e*x]*EllipticE[ArcCot[(Sqrt[b]*x)/Sqrt[a]]/2, 2])/(10*b^(7/2)*(a + b*x^2
)^(1/4))

_______________________________________________________________________________________

Rubi in Sympy [F]  time = 0., size = 0, normalized size = 0. \[ - \frac{7 a e^{4} \sqrt{e x} \left (11 a d - 6 b c\right ) \sqrt [4]{\frac{a}{b x^{2}} + 1} \int ^{\frac{1}{x}} \frac{1}{\left (\frac{a x^{2}}{b} + 1\right )^{\frac{5}{4}}}\, dx}{20 b^{4} \sqrt [4]{a + b x^{2}}} + \frac{d \left (e x\right )^{\frac{11}{2}}}{3 b e \left (a + b x^{2}\right )^{\frac{5}{4}}} + \frac{e \left (e x\right )^{\frac{7}{2}} \left (11 a d - 6 b c\right )}{15 b^{2} \left (a + b x^{2}\right )^{\frac{5}{4}}} - \frac{7 e^{3} \left (e x\right )^{\frac{3}{2}} \left (11 a d - 6 b c\right )}{30 b^{3} \sqrt [4]{a + b x^{2}}} \]

Verification of antiderivative is not currently implemented for this CAS.

[In]  rubi_integrate((e*x)**(9/2)*(d*x**2+c)/(b*x**2+a)**(9/4),x)

[Out]

-7*a*e**4*sqrt(e*x)*(11*a*d - 6*b*c)*(a/(b*x**2) + 1)**(1/4)*Integral((a*x**2/b
+ 1)**(-5/4), (x, 1/x))/(20*b**4*(a + b*x**2)**(1/4)) + d*(e*x)**(11/2)/(3*b*e*(
a + b*x**2)**(5/4)) + e*(e*x)**(7/2)*(11*a*d - 6*b*c)/(15*b**2*(a + b*x**2)**(5/
4)) - 7*e**3*(e*x)**(3/2)*(11*a*d - 6*b*c)/(30*b**3*(a + b*x**2)**(1/4))

_______________________________________________________________________________________

Mathematica [C]  time = 0.195065, size = 116, normalized size = 0.6 \[ \frac{e^3 (e x)^{3/2} \left (77 a^2 d+7 \left (a+b x^2\right ) \sqrt [4]{\frac{b x^2}{a}+1} (6 b c-11 a d) \, _2F_1\left (\frac{1}{4},\frac{3}{4};\frac{7}{4};-\frac{b x^2}{a}\right )+a b \left (88 d x^2-42 c\right )+b^2 x^2 \left (5 d x^2-48 c\right )\right )}{15 b^3 \left (a+b x^2\right )^{5/4}} \]

Antiderivative was successfully verified.

[In]  Integrate[((e*x)^(9/2)*(c + d*x^2))/(a + b*x^2)^(9/4),x]

[Out]

(e^3*(e*x)^(3/2)*(77*a^2*d + b^2*x^2*(-48*c + 5*d*x^2) + a*b*(-42*c + 88*d*x^2)
+ 7*(6*b*c - 11*a*d)*(a + b*x^2)*(1 + (b*x^2)/a)^(1/4)*Hypergeometric2F1[1/4, 3/
4, 7/4, -((b*x^2)/a)]))/(15*b^3*(a + b*x^2)^(5/4))

_______________________________________________________________________________________

Maple [F]  time = 0.085, size = 0, normalized size = 0. \[ \int{(d{x}^{2}+c) \left ( ex \right ) ^{{\frac{9}{2}}} \left ( b{x}^{2}+a \right ) ^{-{\frac{9}{4}}}}\, dx \]

Verification of antiderivative is not currently implemented for this CAS.

[In]  int((e*x)^(9/2)*(d*x^2+c)/(b*x^2+a)^(9/4),x)

[Out]

int((e*x)^(9/2)*(d*x^2+c)/(b*x^2+a)^(9/4),x)

_______________________________________________________________________________________

Maxima [F]  time = 0., size = 0, normalized size = 0. \[ \int \frac{{\left (d x^{2} + c\right )} \left (e x\right )^{\frac{9}{2}}}{{\left (b x^{2} + a\right )}^{\frac{9}{4}}}\,{d x} \]

Verification of antiderivative is not currently implemented for this CAS.

[In]  integrate((d*x^2 + c)*(e*x)^(9/2)/(b*x^2 + a)^(9/4),x, algorithm="maxima")

[Out]

integrate((d*x^2 + c)*(e*x)^(9/2)/(b*x^2 + a)^(9/4), x)

_______________________________________________________________________________________

Fricas [F]  time = 0., size = 0, normalized size = 0. \[{\rm integral}\left (\frac{{\left (d e^{4} x^{6} + c e^{4} x^{4}\right )} \sqrt{e x}}{{\left (b^{2} x^{4} + 2 \, a b x^{2} + a^{2}\right )}{\left (b x^{2} + a\right )}^{\frac{1}{4}}}, x\right ) \]

Verification of antiderivative is not currently implemented for this CAS.

[In]  integrate((d*x^2 + c)*(e*x)^(9/2)/(b*x^2 + a)^(9/4),x, algorithm="fricas")

[Out]

integral((d*e^4*x^6 + c*e^4*x^4)*sqrt(e*x)/((b^2*x^4 + 2*a*b*x^2 + a^2)*(b*x^2 +
a)^(1/4)), x)

_______________________________________________________________________________________

Sympy [F(-1)]  time = 0., size = 0, normalized size = 0. \[ \text{Timed out} \]

Verification of antiderivative is not currently implemented for this CAS.

[In]  integrate((e*x)**(9/2)*(d*x**2+c)/(b*x**2+a)**(9/4),x)

[Out]

Timed out

_______________________________________________________________________________________

GIAC/XCAS [F]  time = 0., size = 0, normalized size = 0. \[ \int \frac{{\left (d x^{2} + c\right )} \left (e x\right )^{\frac{9}{2}}}{{\left (b x^{2} + a\right )}^{\frac{9}{4}}}\,{d x} \]

Verification of antiderivative is not currently implemented for this CAS.

[In]  integrate((d*x^2 + c)*(e*x)^(9/2)/(b*x^2 + a)^(9/4),x, algorithm="giac")

[Out]

integrate((d*x^2 + c)*(e*x)^(9/2)/(b*x^2 + a)^(9/4), x)